Evidence normalization in System FC
نویسندگان
چکیده
System FC is an explicitly typed language that serves as the target language for Haskell source programs. System FC is based on System F with the addition of erasable but explicit type equality proof witnesses. Equality proof witnesses are generated from type inference performed on source Haskell programs. Such witnesses may be very large objects, which causes performance degradation in later stages of compilation, and makes it hard to debug the results of type inference and subsequent program transformations. In this paper we present an equality proof simpli cation algorithm, implemented in GHC, which greatly reduces the size of the target System FC programs. 1998 ACM Subject Classi cation F.4.2 Grammars and Other Rewriting Systems
منابع مشابه
Evidence Normalization in System FC (Invited Talk)
System FC is an explicitly typed language that serves as the target language for Haskell source programs. System FC is based on System F with the addition of erasable but explicit type equality proof witnesses. Equality proof witnesses are generated from type inference performed on source Haskell programs. Such witnesses may be very large objects, which causes performance degradation in later s...
متن کاملStreaming Normalization: Towards Simpler and More Biologically-plausible Normalizations for Online and Recurrent Learning
We systematically explored a spectrum of normalization algorithms related to Batch Normalization (BN) and propose a generalized formulation that simultaneously solves two major limitations of BN: (1) online learning and (2) recurrent learning. Our proposal is simpler and more biologically-plausible. Unlike previous approaches, our technique can be applied out of the box to all learning scenario...
متن کاملSupplementary Report: Normalization of oligonucleotide ar- rays based on the least-variant set of genes
Figure S1: Plot of the t-statistic versus the log standard-error for RMA expression values of the Golden-Spike data normalized using different methods. All normalization were performed after summarization of probe intensities. The FC1-based normalizations are ideal, and in real nonspike-in studies are not possible. LVS-normalization is closest to the FC1-based normalization. The others show neg...
متن کاملA Multi-Objective HBMO-Based New FC-MCR Compensator for Damping of Power System Oscillations
In this paper, a novel compensator based on Magnetically Controlled Reactor with Fixed Capacitor banks (FC-MCR) is introduced and then power system stability in presence of this compensator is studied using an intelligent control method. The problem of robust FC-MCR-based damping controller design is formulated as a multi-objective optimization problem. The multi-objective problem is concocted ...
متن کاملEagle Strategy Based Maximum Power Point Tracker for Fuel Cell System
A bunch of factors including the limited fossil resources and rising of fossil fuel price have been causes moving to create the new structure that is based on providing energy security, and protect the environment. One of the alternatives is the fuel cell (FC). Maximum power point tracker has an important role to increase the efficiency of the FC systems. One of the difficulties in maximum powe...
متن کامل